Prop

A prop

A symmetric strict monoidal category \((\mathcal{C}, 0,+)\) for which \(Ob(\mathcal{C})=\mathbb{N}\) and the monoidal product on objects is given by addition.

Linked by

• Prop functor: referenced
• FinSet as prop: referenced
• Bij as prop: referenced
• Correl as prop: referenced
• Rel as prop: referenced